the set of type definitions can be partitioned into disjoined classes

Программирование: множество определений типов можно разбить на непересекающиеся классы